1

Möbius inversion formula for monoids with zero

Year:
2010
Language:
english
File:
PDF, 502 KB
english, 2010
3

Generating plans in linear logic: I. actions as proofs

Year:
1993
Language:
english
File:
PDF, 1.33 MB
english, 1993
4

On the expressive power of counting

Year:
1995
Language:
english
File:
PDF, 2.04 MB
english, 1995
7

Une bien curieuse tétanie

Year:
2001
File:
PDF, 106 KB
2001
11

On fourteen solvable systems of difference equations

Year:
2014
Language:
english
File:
PDF, 400 KB
english, 2014
14

HOPF ALGEBRAS OF DIAGRAMS

Year:
2011
Language:
english
File:
PDF, 313 KB
english, 2011
15

Type-based detection of XML query-update independence

Year:
2012
Language:
english
File:
PDF, 442 KB
english, 2012
16

Stancu type generalization of q-Favard–Szàsz operators

Year:
2015
Language:
english
File:
PDF, 276 KB
english, 2015
19

On the solutions of a max-type difference equation system

Year:
2015
Language:
english
File:
PDF, 358 KB
english, 2015